$\forall$$k$:Knd, $i$:Id. kind{-}loc($k$;$i$) $\in$ $\mathbb{B}$